commutative ring with unity definition ! ring theory